Nuprl Definition : sys-cmds
11,40
postcript
pdf
sys-cmds(
x
) == chain_sys_ind(
x
;
c
.[
c
];
i
,
cmds
.
cmds
)
latex
clarification:
sys-cmds(
x
) == chain_sys_ind(
x
;
c
.[
c
/ []];
i
,
cmds
.
cmds
)
latex
Definitions
chain_sys_ind(
x
;
cmd
.
input
(
cmd
);
from
,
cmds
.
update
(
from
;
cmds
))
,
[
car
/
cdr
]
,
[]
FDL editor aliases
sys-cmds
origin